$\forall$$i$:Id, $k$:Knd, $L$:(Id List). Raframe($i$;$k$;$L$) $\Vdash$ ${\it es}$.@$i$: $k$ affects only $L$